$\forall$$A$, $B$:Type, $L$:$A$ List, $f$:(\{$x$:$A$$\mid$ ($x$ $\in$ $L$) \}$\rightarrow$$B$). map($f$;$L$) $\in$ $B$ List